Branching Strategy Selection Approach Based on Vivification Ratio

PDF HTML XML Export Cite reminder Branching Strategy Selection Approach Based on Vivification Ratio DOI: 10.21655/ijsi.1673-7288.00278 Author: Affiliation: Clc Number: Fund Project: French Agence Nationale de la Recherche (ANR-19-CHIA-0013-01) Article | Figures Metrics Reference Related Cited by Materials Comments Abstract:The two most effective branching strategies LRB and VSIDS perform differently different types of instances. Generally, is more crafted instances, while application ones. However, distinguishing the instances difficult. To overcome this drawback, we propose a strategy selection approach based vivification ratio. This uses to solve with very low We tested from main track SAT competitions in recent years. The results show that proposed robust it significantly increases number solved It worth mentioning that, help our approach, solver Maple_CM can additional 16 for benchmark 2020 competition.